1. Automated deduction - CADE-26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, proceedings
پدیدآورنده : Leonardo de Moura )ed.(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Automatic theorem proving Congresses,، Logic, Symbolic and mathematical Congresses
رده :
QA
76
.
9
.
A96
2017
